Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
نویسندگان
چکیده
Boolean games offer a compact alternative to normal-form games, by encoding the goal of each agent as a propositional formula. In this paper, we show how this framework can be naturally extended to model situations in which agents are uncertain about other agents’ goals. We first use uncertainty measures from possibility theory to semantically define (solution concepts to) Boolean games with incomplete information. Then we present a syntactic characterization of these semantics, which can readily be implemented, and we characterize the computational complexity.
منابع مشابه
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic
Boolean games are a game-theoretic framework in which propositional logic is used to describe agents’ goals. In this paper we investigate how agents in Boolean games can reach an efficient and fair outcome through a simple negotiation protocol. We are particularly interested in settings where agents only have incomplete knowledge about the preferences of others. After explaining how generalized...
متن کاملStrategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus
Strategy representation and reasoning for incomplete information concurrent games has recently received much attention in multi-agent system and AI communities. However, most of the logical frameworks are based on concrete game models, lack the abilities to reason about strategies explicitly or specify strategies procedurally, and ignore the issue of coordination within a coalition. In this pap...
متن کاملReasoning about actions with imprecise and incomplete state descriptions
This article is a first step in the direction of extending possibilistic planning to account for incomplete and imprecise knowledge of the world state. Fundamental definitions are given and the possibilistic planning problem is recast in this new setting. Finally, it is shown that, under certain conditions, possibilistic planning with imprecise and incomplete state descriptions is no harder tha...
متن کاملGames with Unawareness
We provide a tool to model and solve strategic situations where players reasoning is limited, in the sense that they may only be aware of, or model, some of the aspects of the strategic situations at hand, as well as situations where players realize that other players’ perceptions may be limited. We define normal, repeated, incomplete information, and dynamic (extensive) form games with unaware...
متن کاملPStable Semantics for Possibilistic Logic Programs
Uncertain information is present in many real applications e.g., medical domain, weather forecast, etc. The most common approaches for leading with this information are based on probability however some times; it is difficult to find suitable probabilities about some events. In this paper, we present a possibilistic logic programming approach which is based on possibilistic logic and PStable se...
متن کامل